Relatives of Robinson Arithmetic
نویسنده
چکیده
We consider two theories of concatenation, F and TC, proposed by Grzegorczyk, and proofs of their mutual interpretability. We also discuss the Grzegorczyk’s project of replacing, in foundational studies, the Robinson’s Q by some variant of the theory of
منابع مشابه
NUMBERS AND POLYNOMIALS A model of Robinson Arithmetic in Mathematics Education
In this paper we consider by elementary methods the Robinson theory Q, subtheory of the firstorder Peano Arithmetic PA, and a model of Q given by a universe of polynomials, thati is non-isomorphic to the standard model of PA. Sommario Nel presente lavoro si considera elementarmente la teoria di Robinson Q, sottoteoria dell’Aritmetica di Peano del primo ordine PA, ed un modello di Q costituito d...
متن کاملAn Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant
Q− is a weaker variant of Robinson arithmetic Q in which addition and multiplication are partial functions, i.e. ternary relations that are graphs of possibly non-total functions. We show that Q is interpretable in Q−. This gives an alternative answer to a question of A. Grzegorczyk whether Q− is essentially undecidable.
متن کاملThe arithmetic of trees
The arithmetic of the natural numbers N can be extended to arithmetic operations on planar binary trees. This gives rise to a non-commutative arithmetic theory. In this exposition, we describe this arithmetree, first defined by Loday, and investigate prime trees.
متن کامل